Real-time fault tolerant deployment and configuration framework for cyber physical systems
نویسندگان
چکیده
منابع مشابه
Fault Tolerant Real Time Systems
Real time systems are systems in which there is a commitment for timely response by the computer to external stimuli. Real time applications have to function correctly even in presence of faults. Fault tolerance can be achieved by either hardware or software or time redundancy. Safety-critical applications have strict time and cost constraints, which means that not only faults have to be tolera...
متن کاملFault-tolerant and Distributed Control in Medical Cyber-Physical Systems
Medical cyber-physical systems (MCPS) integrate a number of medical devices to prevent safety hazards as well as improve efficiency of clinical procedures. Most of existing approaches for MCPS control are either in centralized manner or assuming ideal network conditions (e.g., no message loss). However, the high dynamicity of clinical environment calls for distributed control, and also invalida...
متن کاملReal-Time and Fault-Tolerant Systems
Fault-tolerance and timing have often been considered to be implementation issues of a program, quite distinct from the functional safety and liveness properties. Recent work has shown how these nonfunctional and functional properties can be verified in a similar way. However, the more practical question of determining whether a real-time program will meet its deadlines, i.e., showing that ther...
متن کاملFault - Tolerant Distributed Cyber - Physical Systems : Two Case Studies
Fault-tolerance in distributed computing systems has been investigated extensively in the literature and has a rich history and detailed theory. This thesis studies fault-tolerance for distributed cyber-physical systems (DCPS), where distributed computation is combined with dynamics of physical processes. Due to their interaction with the physical world, DCPS may suffer from failures that are q...
متن کاملModeling Tasks Synchronization in the Fault- Tolerant Cyber-Physical Systems
The model of tasks interaction in a Cyber-Physical System (CPS) is developed and discussed in the paper. To achieve fault-tolerant behavior the intermediate synchronization objects are used for decoupling interacting tasks. Synchronization protocol is modeled as guarded actions with help of Temporal Logic of Actions (TLA). The guard is a logical condition which includes not only software specif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGBED Review
سال: 2013
ISSN: 1551-3688
DOI: 10.1145/2518148.2518170